|
Quantum statistical mechanics is statistical mechanics applied to quantum mechanical systems. In quantum mechanics a statistical ensemble (probability distribution over possible quantum states) is described by a density operator ''S'', which is a non-negative, self-adjoint, trace-class operator of trace 1 on the Hilbert space ''H'' describing the quantum system. This can be shown under various mathematical formalisms for quantum mechanics. One such formalism is provided by quantum logic. == Expectation == From classical probability theory, we know that the expectation of a random variable ''X'' is completely determined by its distribution D''X'' by : assuming, of course, that the random variable is integrable or that the random variable is non-negative. Similarly, let ''A'' be an observable of a quantum mechanical system. ''A'' is given by a densely defined self-adjoint operator on ''H''. The spectral measure of ''A'' defined by : uniquely determines ''A'' and conversely, is uniquely determined by ''A''. E''A'' is a boolean homomorphism from the Borel subsets of R into the lattice ''Q'' of self-adjoint projections of ''H''. In analogy with probability theory, given a state ''S'', we introduce the ''distribution'' of ''A'' under ''S'' which is the probability measure defined on the Borel subsets of R by : Similarly, the expected value of ''A'' is defined in terms of the probability distribution D''A'' by : Note that this expectation is relative to the mixed state ''S'' which is used in the definition of D''A''. Remark. For technical reasons, one needs to consider separately the positive and negative parts of ''A'' defined by the Borel functional calculus for unbounded operators. One can easily show: : Note that if ''S'' is a pure state corresponding to the vector ψ, then: : The trace of an operator A is written as follows: : == Von Neumann entropy == (詳細は∞ )) and this is clearly a unitary invariant of ''S''. Remark. It is indeed possible that H(''S'') = +∞ for some density operator ''S''. In fact ''T'' be the diagonal matrix : ''T'' is non-negative trace class and one can show ''T'' log2 ''T'' is not trace-class. Theorem. Entropy is a unitary invariant. In analogy with classical entropy (notice the similarity in the definitions), H(''S'') measures the amount of randomness in the state ''S''. The more dispersed the eigenvalues are, the larger the system entropy. For a system in which the space ''H'' is finite-dimensional, entropy is maximized for the states ''S'' which in diagonal form have the representation : For such an ''S'', H(''S'') = log2 ''n''. The state ''S'' is called the maximally mixed state. Recall that a pure state is one of the form : for ψ a vector of norm 1. Theorem. H(''S'') = 0 if and only if ''S'' is a pure state. For ''S'' is a pure state if and only if its diagonal form has exactly one non-zero entry which is a 1. Entropy can be used as a measure of quantum entanglement. 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Quantum statistical mechanics」の詳細全文を読む スポンサード リンク
|